Constraint algorithm - PDFSEARCH.IO - Document Search Engine

Constraint algorithm
Results: 320

#	Item
81	A Constraint Model for the Settlers Planning Domain Peter Gregory Andrea Rendl University of Strathclyde Add to Reading List Source URL: andrearendl.com Language: English - Date: 2013-08-29 08:24:47 Applied mathematics Constraint satisfaction Minion Linear programming Constraint algorithm Labour economics Constraint programming Software engineering Computer programming
82	Solving Linear Arithmetic Constraints for User Interface Applications Alan Borning and Kim Marriott Department of Computer Science Monash University Clayton, Victoria 3168, AUSTRALIA Add to Reading List Source URL: constraints.cs.washington.edu Language: English - Date: 2014-05-20 21:24:10 Numerical analysis Mathematics Simplex algorithm Constraint optimization Linear programming Quadratic programming Constraint Slack variable Active set Mathematical optimization Constraint programming Operations research
83	Syntax-Guided Synthesis Rajeev Alur† Sanjit A. Seshia‡ Rastislav Bodik‡ Rishabh Singh] Add to Reading List Source URL: www.eecs.berkeley.edu Language: English - Date: 2013-09-22 01:23:29 Constraint programming Formal methods Programming paradigms Predicate logic Satisfiability Modulo Theories Program synthesis Algorithm First-order logic Function Mathematics Theoretical computer science Applied mathematics
84	An Optimal Arc Consistency Algorithm for a Particular Case of Sequence Constraint Mohamed Siala1,2 , Emmanuel Hebrard1,3 , and Marie-Jos´e Huguet1,2 1 CNRS, LAAS, 7 avenue du colonel Roche, FToulouse, France Add to Reading List Source URL: homepages.laas.fr Language: English - Date: 2013-08-28 03:01:20 Constraint satisfaction problem Constraint programming Local consistency Computing
85	An Algorithm for Checking the Disjointness of Types Manfred Widera Fachbereich Informatik FernUniversität HagenHagen Germany Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:06:09 Computing Data types Constraint programming Inference Program analysis Type system Type inference Function Monad Software engineering Type theory Mathematics
86	Toward Local Search Programming: LocalSolver 1.0 Thierry Benoist1 , Bertrand Estellon2 , Fr´ed´eric Gardi1 , Karim Nouioua2 1 2 Add to Reading List Source URL: tbenoist.pagesperso-orange.fr Language: English - Date: 2011-03-16 02:41:44 Computing Constraint programming Search algorithm Mathematical optimization Solver Local search Boolean data type Travelling salesman problem ALGOL 68 Operations research Software engineering Theoretical computer science
87	Snobfit – Stable Noisy Optimization by Branch and Fit WALTRAUD HUYER and ARNOLD NEUMAIER Universit¨at Wien The software package Snobfit for bound constrained (and soft constrained) noisy optimization Add to Reading List Source URL: www.mat.univie.ac.at Language: English - Date: 2007-11-30 11:24:09 Function Global optimization Constraint optimization MCS algorithm Multidisciplinary design optimization Mathematical optimization Mathematics Operations research
88	Sequencing Operator Counts Nir Lipovetzky Toby Davies, Adrian R. Pearce, Peter Stuckey National ICT Australia and The University of Melbourne Add to Reading List Source URL: people.eng.unimelb.edu.au Language: English - Date: 2015-03-31 00:25:28 Mathematical optimization Operations research Combinatorial optimization Convex optimization Linear programming Algorithm Constraint optimization A* search algorithm Relaxation Constraint programming Mathematics Applied mathematics
89	SATISFIABILITY-BASED PROGRAM REASONING AND PROGRAM SYNTHESIS by Saurabh Srivastava 1 Revised Add to Reading List Source URL: www.cs.umd.edu Language: English - Date: 2010-10-26 18:47:17 Formal methods Logic in computer science Electronic design automation Constraint programming Satisfiability Modulo Theories Reasoning system Formal verification Solver Algorithm Theoretical computer science Applied mathematics Mathematics
90	How I Entered Constraints (and Met Ugo at the Doorway): Some of the Early Milestones Rina Dechter UC-Irvine Add to Reading List Source URL: www.ics.uci.edu Language: English - Date: 2008-09-08 14:27:27 Software engineering Local consistency Flow network A* search algorithm Heuristic Constraint Decomposition method Complexity of constraint satisfaction Constraint programming Artificial intelligence Graph theory

UPDATE